Deltav Sis: Proof Testing